c formula generated with seed 8, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 2, 3, 7, 9, 11, 14, 15, 16, 19, 20, 23, 24, 27, 28, 32, 33, 34, 35, 38, 39, 41, 42, 44, 45, 46, 50, 54, 56, 57, 58, 60, 70, 75, 76, 77, 78, 79, 80, 81, 83, 85, 86, 88, 93, 96, 99, 101, 102, 106, 112, 113, 114, 116, 117, 118, 119, 120, 121, 122, 125, 126, 128, 129, 130, 135, 136, 137, 139, 145, 146, 148, 150, 153, 156, 157, 161, 164, 166, 167, 170, 172, 174, 175, 176, 178, 179, 182, 184, 185, 187, 191, 192, 193, 196, 198, 199, 200, 201, 203, 204, 205, 206, 207, 209, 210, 211, 212, 214, 215, 219, 221, 223, 224, 225, 231, 233, 234, 237, 238, 239, 240, 241, 243, 244, 247, 249, 254, 256, 257, 260, 261, 264, 265, 271, 274, 277, 279, 282, 284, 286, 287, 293, 295, 296, 298, 299, 300, 302, 303, 305, 310, 315, 316, 317, 319, 321, 324, 325, 327, 333, 336, 337, 338, 339, 345, 347, 350, 351, 352, 353, 354, 357, 360, 361, 366, 367, 370, 374, 375, 378, 380, 381, 383, 386, 387, 388, 390, 393, 394, 396, 397, 401, 403, 405, 406, 408, 410, 412, 413, 416, 417, 420, 421, 424, 425, 426, 427, 429, 430, 431, 432, 434, 435, 436, 437, 438, 439, 441, 442, 443, 445, 451, 452, 454, 455, 456, 457, 459, 460, 462, 466, 467, 469, 473, 474, 476, 479, 480, 481, 482, 485, 486, 487, 489, 490, 492, 493, 494, 495, 497, 499, 503, 508, 509, 512, 515, 516, 519, 520, 521, 527, 528, 529, 532, 533, 534, 536, 538, 540, 541, 543, 544, 545, 546, 548, 549, 550, 551, 552, 554, 555, 556, 559, 560, 561, 562, 564, 565, 568, 569, 570, 573, 575, 577, 578, 579, 581, 584, 595, 597, 598, 599}
p cnf 600 2646
-508 569 275 0
132 -153 497 0
200 261 -348 0
503 -395 -6 0
378 95 -265 0
-211 103 -399 0
-68 -329 317 0
507 582 -89 0
-510 -416 -480 0
-406 171 -63 0
-386 479 -240 0
-449 -106 362 0
-21 -6 164 0
515 598 -461 0
-335 -163 394 0
159 412 280 0
-228 -82 512 0
-346 126 116 0
218 6 295 0
352 -122 194 0
-176 -102 9 0
-62 -176 411 0
-485 501 -222 0
-125 21 -62 0
-526 -248 -108 0
190 -248 -233 0
531 58 -529 0
208 366 36 0
-77 245 494 0
-344 97 -178 0
231 99 135 0
-334 -134 -471 0
-555 266 455 0
-186 51 -495 0
405 243 122 0
89 212 208 0
-105 422 226 0
-144 -491 -131 0
-593 -495 -106 0
180 267 -450 0
121 -525 561 0
-577 530 -72 0
-541 -297 526 0
288 29 161 0
-267 137 -246 0
-212 409 -311 0
-397 -451 474 0
475 -355 -176 0
-529 354 -153 0
535 339 585 0
12 -179 388 0
399 -149 326 0
-101 466 -271 0
58 221 251 0
450 -125 -177 0
228 169 192 0
-54 -453 467 0
-138 -206 124 0
-446 -399 570 0
-285 32 -97 0
-546 292 -273 0
270 382 -522 0
-417 -507 -277 0
150 -445 -494 0
-129 222 -127 0
513 -371 40 0
477 452 140 0
51 -116 182 0
366 -379 -553 0
363 -207 112 0
-209 258 33 0
-582 -379 -358 0
-169 -19 270 0
47 45 -354 0
-143 301 -58 0
256 560 50 0
-138 345 296 0
-191 -160 -396 0
439 -384 -183 0
-241 379 -404 0
-326 215 -55 0
-185 587 388 0
324 470 168 0
-157 -380 544 0
-136 -11 -314 0
-240 199 -456 0
-271 -87 90 0
-581 -425 -138 0
-267 -464 326 0
-564 275 429 0
65 151 -30 0
491 -489 336 0
458 -225 70 0
1 562 58 0
-147 40 -93 0
-109 -338 242 0
-256 535 -171 0
559 138 3 0
-337 -216 189 0
26 -4 593 0
-439 322 -583 0
-296 427 281 0
496 -505 -394 0
349 11 -578 0
-129 -365 399 0
-341 234 -409 0
454 521 261 0
-496 -43 211 0
481 -7 542 0
-532 289 -111 0
560 321 -497 0
-305 30 112 0
336 285 -172 0
-592 -202 562 0
351 308 -337 0
-295 -367 -312 0
-1 267 568 0
423 523 174 0
-458 -179 289 0
-260 90 -124 0
91 103 -30 0
-227 -142 86 0
6 -149 -56 0
-493 -85 575 0
-343 148 125 0
392 -45 -586 0
43 -245 -86 0
-414 -491 -322 0
-375 416 -548 0
37 -306 268 0
-268 -564 586 0
267 226 361 0
-106 -583 -88 0
-358 477 -599 0
447 -219 -329 0
-306 595 -446 0
437 29 311 0
599 432 234 0
82 155 380 0
553 -514 558 0
-488 -389 565 0
373 180 -399 0
360 532 -384 0
293 -267 198 0
53 557 431 0
-11 -249 88 0
447 446 146 0
147 436 259 0
-128 200 330 0
46 -34 253 0
-517 203 -372 0
268 165 46 0
435 150 476 0
-80 -109 -401 0
185 11 130 0
344 323 397 0
-96 -585 -485 0
339 -522 148 0
174 -110 -292 0
201 -389 -594 0
-444 378 467 0
548 191 -259 0
-73 430 315 0
286 499 -523 0
469 -14 21 0
-237 -142 -559 0
-249 353 242 0
520 450 123 0
80 534 99 0
118 9 -414 0
-207 -57 39 0
-480 -246 63 0
-287 209 -387 0
474 13 -410 0
-491 533 156 0
-89 -209 558 0
-92 -214 592 0
153 564 85 0
-75 62 -72 0
-571 457 -343 0
76 -102 -93 0
208 392 126 0
-320 395 -360 0
-58 -566 253 0
-532 -487 -506 0
217 -596 -579 0
351 -277 -434 0
22 -218 -221 0
204 539 -296 0
538 183 589 0
-393 19 335 0
-378 480 291 0
-243 185 -495 0
-556 -407 294 0
125 -464 -208 0
349 -205 532 0
23 -428 -472 0
-142 519 -100 0
-115 166 -90 0
556 318 -383 0
-456 -308 147 0
-13 167 516 0
-255 -269 -155 0
-447 -138 -144 0
-343 277 93 0
488 234 450 0
414 -221 429 0
-252 -352 -599 0
43 161 227 0
96 -17 -263 0
390 3 206 0
234 -117 -598 0
598 9 -341 0
-563 562 -395 0
409 -286 -73 0
-562 -19 -582 0
327 -375 395 0
179 439 540 0
476 527 114 0
-259 22 -199 0
-128 331 106 0
-596 -70 311 0
-223 -485 -280 0
588 343 265 0
19 348 -237 0
-570 22 -37 0
484 318 -312 0
-473 110 352 0
452 -340 15 0
106 -35 -135 0
458 -230 62 0
-455 -562 99 0
-346 122 533 0
-451 -258 368 0
415 -574 51 0
411 -546 -539 0
-149 213 63 0
404 -201 -363 0
-524 73 -112 0
45 -379 -547 0
-281 494 -87 0
38 -600 -518 0
148 163 -175 0
-108 328 -485 0
-549 73 317 0
276 -442 -273 0
-524 -68 295 0
-505 -137 -347 0
-536 -39 83 0
-253 -197 199 0
38 424 -109 0
226 -296 45 0
23 -27 -83 0
-115 -535 509 0
145 28 101 0
381 240 -66 0
-73 537 217 0
-451 79 -77 0
441 -17 -526 0
190 -371 320 0
-383 3 -452 0
99 40 -79 0
198 407 -215 0
391 471 503 0
18 -24 451 0
-125 502 -132 0
492 66 -528 0
257 339 420 0
92 -387 497 0
-395 44 -501 0
-279 462 -374 0
-72 -43 305 0
265 341 292 0
-108 -297 112 0
-95 -549 245 0
362 403 -175 0
121 215 -252 0
-110 464 17 0
-117 436 -455 0
284 175 -571 0
302 68 -598 0
-490 -446 -210 0
409 133 -553 0
190 434 522 0
-555 429 -7 0
-514 351 265 0
557 281 319 0
-188 441 327 0
506 570 144 0
-64 -496 459 0
-406 -304 -77 0
475 332 408 0
23 -400 -542 0
-314 521 -379 0
565 -201 -136 0
11 189 -20 0
272 53 -270 0
-136 345 158 0
471 -534 277 0
-569 -445 170 0
-483 -53 83 0
-177 -520 -78 0
-241 -583 -560 0
-518 586 589 0
208 58 -199 0
499 -118 464 0
-367 353 -383 0
342 352 104 0
49 -56 -415 0
-239 338 273 0
456 564 240 0
75 135 565 0
-546 -101 -273 0
576 134 -341 0
228 268 595 0
-279 -30 314 0
522 291 2 0
190 -567 404 0
507 -469 234 0
153 -408 -112 0
-449 -375 -183 0
594 -338 564 0
400 272 462 0
538 481 205 0
285 -22 227 0
262 322 45 0
251 -437 23 0
-363 -62 161 0
-502 74 -286 0
430 -344 -76 0
-342 -291 153 0
483 -47 -455 0
149 -134 49 0
-466 442 -144 0
435 275 -394 0
4 -583 64 0
244 197 -325 0
392 127 19 0
475 207 179 0
-167 536 94 0
551 -43 476 0
-42 -400 311 0
-62 272 -192 0
173 327 -495 0
-589 288 -200 0
-542 330 425 0
39 -468 -222 0
219 355 -225 0
380 343 -316 0
115 290 -235 0
509 -503 97 0
-9 463 -202 0
-457 -39 413 0
-180 -379 -586 0
-308 425 490 0
-108 193 397 0
-357 503 -176 0
39 308 -167 0
-369 472 488 0
371 -593 523 0
143 -273 -401 0
228 -2 -389 0
-46 -215 -140 0
153 -483 352 0
600 534 22 0
-376 518 369 0
-424 214 -116 0
-144 112 -53 0
137 527 -398 0
241 -335 -183 0
26 -391 242 0
-100 -204 73 0
-502 -16 111 0
-102 151 490 0
-110 372 -130 0
-397 -590 37 0
77 157 -188 0
-33 219 -549 0
-7 -509 338 0
510 -374 452 0
-146 548 4 0
330 -169 -442 0
596 -514 144 0
109 79 -56 0
249 -306 -93 0
-269 480 -399 0
-57 73 403 0
157 -141 54 0
570 -278 -376 0
-225 -18 159 0
-395 563 545 0
-323 -56 -579 0
-65 -206 335 0
527 -443 109 0
-444 -523 -255 0
241 419 -223 0
-202 456 -365 0
-18 -131 -6 0
335 254 -210 0
345 46 -373 0
228 -409 -70 0
68 463 -140 0
-580 551 114 0
-532 540 262 0
405 -40 556 0
-271 -110 297 0
525 -200 -278 0
215 -342 24 0
-90 427 -524 0
426 -17 339 0
-173 -385 -348 0
22 46 -256 0
128 -151 -291 0
-483 460 -110 0
-333 -152 141 0
555 437 -134 0
373 -128 -147 0
218 526 254 0
-400 509 -142 0
-137 -361 568 0
59 572 50 0
438 -369 568 0
385 -321 -498 0
-318 40 589 0
592 -176 562 0
199 47 441 0
238 -2 222 0
525 -335 124 0
-164 -53 407 0
418 90 -308 0
-45 550 510 0
-194 -282 -467 0
-307 -59 196 0
139 318 411 0
338 -461 380 0
-100 339 -377 0
-100 -55 -235 0
-459 -413 443 0
410 264 139 0
582 -536 -507 0
99 299 101 0
-394 -113 209 0
-30 7 -334 0
-488 15 -194 0
286 332 -32 0
150 -185 464 0
-374 228 279 0
143 173 205 0
-594 -492 -156 0
-451 -435 -197 0
403 60 130 0
-113 -213 -83 0
43 -199 106 0
321 -201 440 0
2 -64 41 0
-136 -6 -473 0
202 264 470 0
393 358 -595 0
321 -526 485 0
-447 405 386 0
-438 -577 430 0
-529 197 -255 0
220 -429 -498 0
479 -367 -132 0
-303 -14 499 0
-342 -459 -201 0
-376 418 468 0
189 199 -405 0
323 -214 -526 0
-192 -220 -19 0
-530 538 -335 0
575 200 -496 0
-17 -99 -435 0
220 -240 -531 0
-107 -382 -400 0
151 481 -176 0
-415 564 -110 0
-460 193 -516 0
148 40 -298 0
-80 450 126 0
338 423 -240 0
230 326 430 0
266 -69 -210 0
5 368 -349 0
-195 462 -356 0
-194 -236 81 0
-72 22 127 0
280 203 -32 0
-122 -144 108 0
-36 127 -214 0
476 -273 274 0
-475 -428 -267 0
87 -143 556 0
283 249 275 0
248 -76 164 0
380 176 -239 0
406 173 -437 0
331 -158 423 0
-95 178 76 0
449 -164 166 0
-155 -522 237 0
-21 457 -108 0
-253 -103 350 0
139 598 19 0
-233 502 555 0
-213 115 411 0
534 -149 519 0
431 441 -558 0
368 -381 -530 0
304 -23 277 0
568 -52 -73 0
257 -308 521 0
579 471 -324 0
-360 235 445 0
146 459 176 0
-8 -101 -293 0
-113 517 -229 0
-5 -441 513 0
-325 -573 -30 0
319 572 -199 0
-280 485 182 0
-291 151 229 0
-376 584 317 0
-477 -30 -55 0
-453 -328 166 0
399 559 246 0
288 -504 -219 0
-100 -81 -353 0
472 -578 219 0
-458 258 92 0
-304 598 -108 0
-148 242 555 0
329 -6 583 0
-537 258 268 0
203 190 162 0
-146 -23 380 0
-365 153 -461 0
382 414 -4 0
151 -75 295 0
38 -231 -175 0
-362 -158 541 0
503 -324 -274 0
12 334 85 0
-413 -25 387 0
-294 -59 -8 0
-560 93 335 0
-555 -570 166 0
484 193 -54 0
566 234 363 0
556 -21 -340 0
306 341 -43 0
36 -82 399 0
425 -94 -506 0
355 -470 -480 0
206 -438 107 0
-180 -543 -476 0
355 539 96 0
-421 -343 -377 0
444 562 -550 0
277 366 249 0
212 339 126 0
565 -439 -367 0
-17 112 -447 0
425 -457 -46 0
312 -247 70 0
-356 -50 -244 0
-552 -62 71 0
358 37 -308 0
394 -174 389 0
323 359 -29 0
-203 -167 -364 0
349 -437 578 0
-390 528 -454 0
337 -286 -49 0
-588 474 211 0
-193 -389 -401 0
356 -231 403 0
65 -87 116 0
255 298 -310 0
-65 -424 -85 0
-10 -368 316 0
527 -454 -257 0
-284 526 -379 0
544 314 -394 0
380 426 277 0
319 -131 -262 0
322 557 233 0
-473 -529 -217 0
443 -203 314 0
-395 -467 547 0
500 -33 482 0
582 -527 -372 0
177 131 -308 0
-196 -588 309 0
-13 -391 512 0
163 -392 -295 0
-529 -181 -532 0
-368 -280 597 0
19 119 -398 0
554 21 -556 0
-577 551 -182 0
413 231 -108 0
434 227 217 0
499 -209 132 0
-185 291 -73 0
592 429 266 0
548 95 51 0
452 518 -549 0
-556 -79 -330 0
157 -572 519 0
179 -32 65 0
269 -336 -248 0
-206 -487 80 0
-539 504 -96 0
434 135 430 0
-223 -288 -520 0
-246 -48 -66 0
-269 -146 -336 0
-10 -225 -362 0
-11 -57 -227 0
-227 346 423 0
-259 572 -75 0
-142 261 -269 0
-68 286 -407 0
443 -176 263 0
-189 -200 154 0
-562 281 241 0
600 531 456 0
487 59 349 0
-126 302 -121 0
-531 22 105 0
-449 83 150 0
426 322 -86 0
-328 25 217 0
-111 -492 -481 0
-289 159 262 0
155 -142 484 0
289 -60 -71 0
469 493 552 0
-296 246 -95 0
-35 245 -255 0
24 31 368 0
560 139 -183 0
-376 551 561 0
-524 -170 -554 0
-396 -580 -198 0
437 -17 167 0
-421 591 -280 0
-353 113 59 0
-446 494 -264 0
-419 162 447 0
-81 382 527 0
144 -406 367 0
72 -9 -144 0
321 -276 286 0
434 -7 94 0
412 -509 162 0
560 -526 -17 0
105 -434 178 0
301 212 -416 0
136 -585 240 0
427 -187 -596 0
-148 60 53 0
-400 -32 511 0
-426 316 -305 0
453 317 22 0
250 -27 -108 0
-265 390 -467 0
-29 113 -91 0
401 -164 -315 0
-124 -17 -433 0
49 401 -344 0
-408 -595 333 0
473 31 326 0
-16 382 390 0
280 144 -98 0
-326 76 489 0
252 -58 425 0
527 440 -579 0
173 71 -297 0
-281 63 505 0
393 -513 578 0
178 558 -445 0
74 -336 83 0
-570 -527 79 0
266 585 148 0
-496 247 460 0
-594 294 259 0
62 -130 -446 0
-580 301 -209 0
571 -402 509 0
437 -382 -448 0
495 -370 55 0
-460 378 -187 0
25 323 -472 0
137 -291 -114 0
224 559 300 0
-208 329 218 0
490 -373 -511 0
203 41 -37 0
343 531 193 0
-359 212 -55 0
200 -273 163 0
-426 -460 436 0
-373 470 400 0
-108 153 -253 0
-227 104 -430 0
549 -536 -476 0
-21 43 -317 0
-464 -406 335 0
-403 -67 -528 0
316 -348 44 0
486 -431 -421 0
-561 145 -354 0
-13 68 -519 0
-503 -545 532 0
-448 20 172 0
-304 169 487 0
-559 137 -274 0
-116 -60 397 0
35 182 -538 0
250 -288 447 0
534 -208 164 0
335 -20 204 0
-583 530 552 0
-553 -451 326 0
365 345 43 0
-43 340 346 0
536 541 -326 0
-210 98 -61 0
71 -353 -6 0
42 1 489 0
426 -599 -533 0
500 -418 440 0
32 81 -571 0
-327 -599 -415 0
-94 420 -151 0
-201 -458 103 0
308 150 -479 0
-547 400 248 0
-257 193 -42 0
568 -283 -478 0
388 237 -189 0
-589 -392 -74 0
-279 -32 -255 0
51 -256 2 0
311 -3 54 0
391 -105 -519 0
550 304 318 0
178 -311 -248 0
-109 -569 87 0
321 -445 -182 0
-420 -407 163 0
261 -13 -151 0
474 6 -516 0
280 -548 293 0
485 -295 159 0
-114 -471 -75 0
-503 385 386 0
-483 492 503 0
365 40 350 0
-343 -221 572 0
253 299 213 0
520 -265 -83 0
178 -321 59 0
315 456 187 0
13 -250 -260 0
504 -138 600 0
295 511 72 0
-229 407 -451 0
229 -18 -521 0
-5 526 251 0
-377 498 -434 0
355 218 -526 0
-436 257 -78 0
-230 -507 485 0
184 -190 -422 0
-82 -53 559 0
-503 -439 277 0
-124 -408 -125 0
227 433 223 0
-204 24 518 0
104 -161 413 0
433 72 196 0
236 380 -85 0
446 -90 -78 0
-65 241 -342 0
88 9 -21 0
111 71 339 0
485 514 391 0
408 562 319 0
-418 585 -430 0
-344 -122 398 0
593 -525 168 0
-108 96 -522 0
-56 573 -204 0
198 344 -239 0
-424 -100 255 0
444 -82 270 0
307 -533 503 0
-587 -584 280 0
-75 179 25 0
95 -94 -56 0
-540 -249 325 0
-577 -53 65 0
-50 68 298 0
225 321 -348 0
-273 -74 351 0
-41 -332 -319 0
-218 -479 -317 0
-485 -565 -574 0
250 109 -43 0
-123 446 147 0
336 -296 547 0
116 -371 599 0
3 -232 -385 0
-306 -239 -81 0
558 -504 280 0
-139 -56 -332 0
-147 -216 -330 0
524 -304 566 0
-495 -43 523 0
231 332 392 0
-478 231 -308 0
-184 -16 -134 0
-368 437 -173 0
131 112 -166 0
-491 213 253 0
-314 -259 403 0
122 475 29 0
289 -544 352 0
435 424 -572 0
-454 -545 -334 0
-14 -231 -104 0
418 -102 -365 0
522 582 421 0
96 502 -81 0
-562 -478 -439 0
-548 -549 394 0
486 -536 418 0
-151 -562 -403 0
515 49 -113 0
239 470 553 0
-190 -120 -454 0
-434 48 -253 0
-259 -445 -564 0
173 -558 -42 0
-468 225 286 0
60 41 157 0
-472 313 364 0
322 108 -464 0
339 -192 131 0
-202 35 -594 0
499 -236 56 0
375 181 539 0
2 -167 -546 0
293 -474 550 0
-59 353 -331 0
22 -403 319 0
-485 -548 -468 0
-285 -557 -419 0
-56 -334 68 0
-382 110 -554 0
-291 505 105 0
366 114 533 0
-320 67 -416 0
559 173 441 0
223 -344 -230 0
-40 486 -341 0
-206 587 -477 0
-67 -359 -82 0
36 -212 -285 0
332 513 568 0
559 254 549 0
7 579 -348 0
-254 -401 -592 0
-298 555 -157 0
89 63 -267 0
-188 -216 96 0
559 -83 -445 0
-480 -152 115 0
-340 138 140 0
-422 152 89 0
510 -392 -75 0
126 -600 -180 0
506 -266 62 0
143 419 77 0
132 -362 -429 0
27 -332 139 0
-492 594 146 0
532 113 -304 0
207 10 363 0
-108 -419 -461 0
-129 146 155 0
-174 -11 -143 0
509 -461 541 0
-277 -594 308 0
-84 217 -86 0
483 194 -507 0
-584 -111 537 0
144 377 -92 0
380 11 182 0
-405 360 369 0
465 177 -440 0
-111 83 424 0
169 -253 -286 0
-22 -212 62 0
337 -363 556 0
-458 -149 564 0
-432 157 251 0
527 386 -169 0
23 517 -549 0
-434 -421 554 0
-514 544 497 0
519 517 -164 0
-203 -481 -463 0
567 -589 -137 0
-279 -410 -95 0
-348 -527 537 0
-457 -390 -283 0
-338 -275 -256 0
319 -74 14 0
-292 13 600 0
-581 121 -545 0
545 -35 576 0
-488 86 265 0
-134 166 -322 0
-170 278 -169 0
-432 -13 -201 0
-27 177 296 0
-240 -100 -293 0
2 68 -439 0
-551 121 -351 0
214 -59 -48 0
505 535 136 0
45 -456 -63 0
254 -240 -599 0
179 -198 -369 0
-177 -26 206 0
583 -280 -523 0
239 415 -486 0
70 23 -453 0
-347 559 -319 0
-36 292 -265 0
566 69 549 0
545 -487 -337 0
193 3 50 0
-522 -357 483 0
-112 421 -239 0
-426 30 527 0
30 -481 -177 0
-296 551 448 0
505 -97 297 0
-21 -528 589 0
-422 -483 -600 0
82 -567 -7 0
322 -409 218 0
-432 -311 582 0
-2 -375 -355 0
550 552 -407 0
366 -125 -430 0
-110 509 -433 0
417 -557 316 0
173 262 -313 0
472 373 439 0
-332 -424 -243 0
-140 -21 521 0
-78 -323 314 0
478 -126 383 0
-226 387 390 0
194 333 236 0
-566 34 516 0
466 -585 -236 0
324 240 60 0
-349 -347 252 0
197 416 -467 0
453 -281 188 0
-374 -186 589 0
-303 160 -227 0
275 -597 282 0
554 327 -596 0
-527 -281 -77 0
206 393 -524 0
203 -22 336 0
-233 -43 12 0
-426 -43 91 0
195 -94 273 0
-483 305 23 0
-80 532 -38 0
240 532 -600 0
254 -131 543 0
-427 -378 1 0
2 -557 -43 0
-473 -451 -440 0
445 186 21 0
-57 353 -370 0
-164 468 -447 0
64 366 422 0
504 -98 -245 0
-416 -486 -29 0
-589 304 275 0
-541 -521 401 0
590 -56 -97 0
597 73 314 0
-521 330 -109 0
-487 -309 -438 0
-122 -334 -512 0
-104 -206 309 0
-582 -239 144 0
-252 187 -105 0
266 412 596 0
8 114 115 0
303 -194 317 0
172 -331 -252 0
403 592 -573 0
509 330 446 0
-415 -257 -477 0
-171 -138 209 0
438 -597 -442 0
262 186 -407 0
-496 297 10 0
-156 -199 597 0
222 -396 -218 0
-147 -155 -389 0
330 19 -3 0
-551 -101 219 0
452 -332 598 0
328 271 -466 0
507 -87 -442 0
10 261 -99 0
195 -440 47 0
-230 -269 595 0
-441 -220 -378 0
332 -372 285 0
-414 -210 -198 0
-308 148 -47 0
-474 -1 -290 0
-49 94 290 0
221 78 117 0
-184 -289 418 0
-558 191 -154 0
420 396 -149 0
-472 555 486 0
5 34 -135 0
425 576 -41 0
-97 -163 -341 0
-444 -326 451 0
148 -363 -384 0
-381 204 -413 0
459 56 219 0
-376 78 -311 0
-78 571 -391 0
572 -273 365 0
265 -300 21 0
592 538 -114 0
-143 391 -45 0
-433 451 -288 0
597 -548 510 0
41 206 -301 0
-568 -473 499 0
-352 -75 277 0
-371 -582 -515 0
-582 -441 298 0
357 501 195 0
-294 267 449 0
92 -440 -560 0
-47 385 -80 0
18 438 -58 0
-72 -41 -183 0
-424 -85 445 0
131 234 -206 0
-101 552 283 0
225 -412 8 0
-295 -40 -77 0
-167 525 489 0
-560 478 240 0
-484 96 345 0
-470 72 30 0
143 226 -53 0
390 -409 -18 0
24 -497 -20 0
-521 -377 -260 0
12 335 -506 0
280 171 -97 0
-17 -578 498 0
-481 -450 226 0
100 376 -330 0
463 -515 316 0
64 -489 -349 0
28 -146 -374 0
294 218 -446 0
-294 -33 -519 0
36 192 349 0
221 -396 -219 0
348 460 475 0
523 65 -26 0
-18 431 41 0
-397 414 497 0
-135 494 522 0
-517 316 560 0
-345 588 -382 0
-186 149 -466 0
-310 -570 256 0
-10 282 -349 0
499 469 -219 0
522 -576 -122 0
446 357 280 0
151 -319 -335 0
-298 442 281 0
-362 -434 385 0
265 599 560 0
-72 238 -391 0
370 -173 -51 0
109 161 -423 0
54 -141 -588 0
529 -558 157 0
-262 352 -411 0
-226 271 519 0
-190 -467 -431 0
577 565 -144 0
-331 559 554 0
-69 480 -41 0
-256 218 239 0
-502 -398 -428 0
-490 598 -7 0
-589 68 -221 0
-2 -459 196 0
-542 281 -223 0
-219 -452 -314 0
193 -461 -152 0
-95 42 541 0
-49 -357 48 0
343 304 39 0
569 540 364 0
-466 -217 -408 0
-32 -117 -107 0
415 9 -299 0
-436 -279 -107 0
294 520 -410 0
-516 -561 145 0
-453 -263 315 0
-464 134 -156 0
222 94 -404 0
-133 -343 -404 0
-526 490 565 0
-569 -280 228 0
-220 -102 -333 0
-124 456 -141 0
-76 -526 -509 0
111 -146 -311 0
-144 -559 -130 0
501 -555 -384 0
261 -138 -171 0
571 596 550 0
494 135 34 0
-224 407 489 0
-120 -450 248 0
-94 -584 -187 0
355 223 -562 0
-137 -252 594 0
480 77 322 0
81 -418 36 0
-18 545 540 0
71 -353 16 0
242 336 68 0
-595 120 -454 0
-234 74 -67 0
-198 344 244 0
343 377 529 0
378 -483 503 0
-437 275 -127 0
-429 546 108 0
123 228 254 0
-153 -59 -167 0
374 -166 97 0
361 -432 -78 0
-101 -372 400 0
252 52 383 0
451 -410 404 0
299 -578 69 0
-468 -522 508 0
-57 179 48 0
-487 144 310 0
-215 -250 122 0
-375 95 -422 0
66 -328 -541 0
365 69 -194 0
333 297 226 0
-459 -132 -96 0
-406 -451 32 0
-285 241 -341 0
493 292 149 0
-186 -6 -465 0
242 62 350 0
560 -34 235 0
-55 401 -213 0
-173 535 8 0
-108 -271 -509 0
393 88 379 0
-116 326 214 0
-467 -163 -397 0
-550 -362 -153 0
-303 214 496 0
473 37 -370 0
496 599 25 0
26 -535 388 0
38 556 -463 0
-12 68 -459 0
-104 415 276 0
184 -171 -323 0
-71 -335 367 0
485 -101 -317 0
33 418 -590 0
-268 330 419 0
-181 245 -9 0
50 394 210 0
-53 -458 316 0
424 -153 270 0
-154 327 -246 0
-352 -186 -249 0
407 378 -182 0
207 486 543 0
-222 240 -84 0
-188 519 243 0
378 242 -28 0
-512 561 -85 0
-208 408 -365 0
533 -81 331 0
373 308 -29 0
-11 -127 -277 0
165 -586 -231 0
439 162 518 0
515 -18 -465 0
34 452 -468 0
-164 -92 -27 0
-57 -582 -431 0
494 -145 -327 0
501 459 340 0
576 -115 -401 0
-179 -514 -492 0
353 233 121 0
368 543 10 0
4 504 -21 0
305 -12 -97 0
413 581 -585 0
-598 111 57 0
362 -239 -422 0
-119 491 88 0
-250 36 -293 0
-299 518 -346 0
48 -335 -383 0
-420 -135 116 0
251 -512 101 0
-456 -426 -132 0
471 11 389 0
-406 -415 242 0
201 -186 545 0
-62 -199 -565 0
501 70 -212 0
472 383 258 0
-4 -395 -322 0
420 -60 341 0
-37 -20 -238 0
-106 97 324 0
-41 265 -117 0
98 -258 -61 0
-65 157 -557 0
-33 -296 -227 0
420 19 -228 0
163 559 -205 0
-374 349 -220 0
-116 115 187 0
-331 185 579 0
-343 -245 167 0
337 283 245 0
-576 -258 394 0
-431 49 -48 0
534 185 -507 0
-284 -87 204 0
325 -593 -69 0
423 -425 146 0
-241 413 433 0
-362 -117 -597 0
-367 583 -105 0
-562 -246 -304 0
-530 -89 -547 0
-334 -28 400 0
-131 -427 468 0
78 50 442 0
-18 255 521 0
-257 -27 164 0
-45 -139 96 0
7 196 538 0
-1 46 200 0
304 46 252 0
562 20 265 0
445 535 -476 0
238 575 -362 0
-586 97 592 0
131 -507 -533 0
-507 286 -341 0
206 465 71 0
457 -278 164 0
-139 -259 278 0
-162 -99 -239 0
-432 54 -116 0
446 493 131 0
-537 253 123 0
44 -526 9 0
-200 99 -303 0
267 295 -310 0
155 -398 -388 0
-287 293 -321 0
-349 -378 -32 0
-199 552 -50 0
-110 141 312 0
272 -86 -278 0
-221 -309 418 0
-245 -582 425 0
48 -291 382 0
144 -362 -344 0
73 463 175 0
547 194 438 0
-200 452 53 0
-51 -95 383 0
-221 -485 352 0
481 20 -140 0
-362 511 502 0
158 322 -314 0
482 -586 546 0
335 355 -8 0
323 -152 532 0
206 494 406 0
561 100 -577 0
481 -101 -167 0
75 -22 240 0
-456 -519 439 0
490 427 -418 0
-277 -81 394 0
92 -403 295 0
-291 334 -337 0
370 -450 -343 0
-255 518 314 0
368 -195 -406 0
-414 256 516 0
437 -403 -164 0
41 164 584 0
298 208 142 0
-413 -366 182 0
457 139 519 0
474 420 319 0
301 183 102 0
212 29 -561 0
330 -22 148 0
-205 -133 245 0
321 146 7 0
-318 148 512 0
389 -563 -187 0
170 -416 -207 0
-465 386 455 0
-421 -248 -60 0
350 -301 445 0
-58 233 220 0
357 -462 144 0
487 -574 -98 0
-580 379 -354 0
-292 206 269 0
-396 106 270 0
498 479 -223 0
174 -85 291 0
-506 564 54 0
-304 559 -567 0
386 -187 -157 0
-258 -21 544 0
-153 -528 408 0
-537 585 25 0
169 -191 -294 0
-414 -112 -546 0
322 84 437 0
-80 315 525 0
342 201 -264 0
434 -290 316 0
581 334 -16 0
-138 48 40 0
31 -184 381 0
-271 305 525 0
37 336 -261 0
572 69 -84 0
-560 70 37 0
438 -548 -324 0
-132 -197 460 0
-309 -407 -463 0
251 422 -127 0
-86 -138 -441 0
533 -329 435 0
-266 -521 248 0
-461 -297 -332 0
417 184 -409 0
-585 71 513 0
348 -537 572 0
510 386 17 0
-143 -186 184 0
541 115 -599 0
-100 197 -472 0
-414 -19 501 0
161 126 -87 0
2 248 -457 0
-263 -103 337 0
-411 -82 493 0
549 -111 -194 0
22 69 -418 0
-22 -187 465 0
112 -312 184 0
-424 -323 189 0
64 -288 242 0
300 -138 11 0
-436 -193 386 0
-236 -166 522 0
400 227 -138 0
414 458 -202 0
577 178 -400 0
-190 -204 -487 0
-259 -208 -228 0
-428 543 516 0
-202 -338 348 0
577 -78 343 0
-222 56 -4 0
-459 -174 -4 0
177 -47 213 0
-380 132 219 0
265 -184 -287 0
-10 28 -91 0
-484 -123 -472 0
171 -314 -264 0
-207 197 452 0
575 -451 63 0
-10 -124 93 0
-440 -14 -27 0
25 -546 -391 0
-426 -503 -448 0
208 124 -236 0
-383 -359 537 0
-269 72 574 0
331 445 255 0
272 10 -297 0
-486 -344 288 0
24 -81 -319 0
-266 -158 24 0
-290 100 217 0
-188 -146 365 0
-203 -80 23 0
521 410 126 0
426 -323 497 0
-296 49 129 0
-241 -514 -295 0
-191 -528 58 0
-248 -429 418 0
459 417 370 0
-164 -470 30 0
-312 71 30 0
-356 298 -276 0
-109 -81 197 0
-539 -462 -427 0
114 -14 -156 0
570 -390 -361 0
573 543 -49 0
-550 -538 -61 0
-579 454 382 0
384 189 205 0
310 -458 -291 0
-597 -547 -306 0
-237 216 -356 0
216 -35 -335 0
-272 -214 -45 0
-579 -292 251 0
-453 51 -469 0
-245 -230 118 0
-242 -535 122 0
34 285 377 0
490 137 85 0
445 -599 326 0
267 -300 1 0
-541 523 -53 0
319 406 -248 0
462 -65 -329 0
551 526 189 0
523 -222 62 0
-160 -554 498 0
401 182 -506 0
20 291 -106 0
-206 67 -523 0
-165 96 -288 0
223 521 -115 0
-354 464 77 0
-407 -183 170 0
-553 301 -595 0
-29 239 374 0
-116 44 -137 0
-449 169 -564 0
-152 -353 208 0
216 376 54 0
182 113 -202 0
-311 -427 -172 0
414 90 93 0
-62 429 -297 0
21 404 -43 0
-215 498 -567 0
-280 166 86 0
102 -440 361 0
-342 205 -152 0
231 338 -389 0
-532 -223 -389 0
180 322 -313 0
-410 -502 -78 0
21 -282 75 0
-445 -412 -71 0
325 464 -223 0
-71 576 566 0
-528 -394 -472 0
158 476 -579 0
119 30 382 0
542 -540 -304 0
-204 54 -578 0
25 -246 -412 0
353 -266 492 0
-593 127 -541 0
423 -37 -50 0
499 -424 272 0
431 -223 362 0
338 -82 390 0
299 -448 -2 0
-455 -444 -28 0
62 -409 484 0
-19 184 -366 0
-598 2 -459 0
-62 -354 -263 0
600 113 -109 0
104 -177 -374 0
-247 -570 -276 0
-495 164 -99 0
509 -533 253 0
558 396 510 0
408 399 222 0
-112 142 -517 0
509 -71 561 0
-278 584 -64 0
-53 -356 85 0
-594 514 30 0
-273 -349 388 0
-259 540 546 0
-439 -502 -254 0
-235 -275 -572 0
379 446 -422 0
321 -575 561 0
75 234 -325 0
319 -434 590 0
167 106 599 0
216 -422 -80 0
-295 -253 151 0
-564 503 594 0
-115 258 377 0
11 34 378 0
-434 567 239 0
-556 -566 -80 0
367 250 -206 0
204 381 360 0
478 -33 -91 0
-61 544 -82 0
-247 -165 -175 0
-176 -220 115 0
-169 -518 -218 0
-289 473 39 0
-150 -522 -454 0
248 208 499 0
-597 352 -257 0
-258 568 257 0
292 -369 -338 0
119 40 557 0
-160 -490 471 0
534 -473 98 0
-82 -586 549 0
508 -250 196 0
-154 -111 -194 0
-519 353 589 0
-153 515 -50 0
549 331 -170 0
-76 -173 6 0
-198 297 -230 0
-338 -395 593 0
282 -143 174 0
-214 64 443 0
303 56 -465 0
-124 -167 547 0
-262 497 300 0
296 -555 -382 0
330 -195 -550 0
-123 -378 267 0
-123 42 512 0
-340 110 253 0
-20 508 -166 0
-249 -393 -304 0
142 157 -495 0
-122 360 -198 0
-313 -355 -92 0
600 -332 521 0
-446 378 -280 0
51 273 102 0
-196 -535 245 0
569 -50 -405 0
-57 -103 173 0
132 -202 461 0
600 -406 125 0
-381 -395 -418 0
-588 540 -359 0
-261 166 135 0
-412 47 219 0
-8 201 -195 0
594 234 217 0
249 334 30 0
340 453 -526 0
-486 -545 455 0
-110 512 354 0
-253 -135 -529 0
-410 -387 544 0
537 -455 533 0
100 523 -583 0
465 335 -531 0
232 -79 76 0
595 -571 175 0
-259 -202 -389 0
-177 433 335 0
169 -384 144 0
-306 -364 256 0
109 -1 441 0
-236 -526 46 0
-4 426 167 0
-1 267 -407 0
122 -571 14 0
153 252 -499 0
280 306 479 0
457 -174 510 0
-435 -48 -516 0
-24 -350 -163 0
544 -204 -184 0
-454 -234 -444 0
162 446 78 0
-44 -193 -154 0
-85 -246 341 0
178 -374 276 0
-374 321 -198 0
-57 -226 -432 0
-296 -311 400 0
468 111 439 0
482 -416 -11 0
409 376 -348 0
-296 95 -477 0
-44 106 371 0
438 -511 -218 0
-429 179 -493 0
-76 398 184 0
-163 -418 196 0
536 270 -519 0
384 149 -109 0
142 -465 -575 0
109 -203 -31 0
396 -77 -421 0
193 -15 -430 0
-33 459 415 0
494 69 342 0
177 211 -380 0
-154 66 59 0
-167 -112 198 0
-555 492 593 0
-476 -103 18 0
-208 -78 332 0
-19 354 488 0
-98 506 -460 0
-338 515 598 0
405 447 -83 0
-227 -551 278 0
-21 -425 73 0
138 436 -240 0
-137 378 -196 0
-486 191 177 0
294 550 535 0
-462 -148 -574 0
301 -51 -88 0
-19 389 452 0
555 -127 421 0
196 293 -72 0
446 -524 530 0
-247 242 -382 0
560 582 -455 0
-570 100 357 0
-373 -424 111 0
-167 -113 206 0
65 -69 340 0
-137 -20 421 0
-188 -329 -104 0
419 -94 379 0
-392 570 -376 0
477 -197 49 0
-491 -554 531 0
-363 -66 83 0
261 581 410 0
-322 -587 316 0
194 341 347 0
410 -313 579 0
316 591 270 0
189 25 485 0
86 -181 417 0
-204 544 449 0
310 -345 -454 0
-57 332 -292 0
-313 -401 84 0
-201 -27 -566 0
-263 -477 -478 0
-383 -27 -470 0
-342 209 -446 0
-310 404 244 0
-362 332 -438 0
137 -414 9 0
116 243 -526 0
-131 77 490 0
-574 278 -513 0
310 360 170 0
-483 -397 -231 0
-599 406 -150 0
-25 -39 292 0
267 -531 328 0
-425 -267 -85 0
551 -182 -578 0
540 -357 -437 0
-364 -540 -386 0
489 155 -425 0
-97 322 -79 0
-392 366 299 0
478 -599 -313 0
468 -3 516 0
494 245 -225 0
-71 16 -100 0
75 -18 191 0
-172 -384 -54 0
-510 1 -331 0
526 -598 -580 0
-252 335 -459 0
-193 -350 569 0
568 598 -149 0
-596 -357 6 0
499 -25 277 0
-479 448 -132 0
209 -189 -415 0
-328 234 478 0
-124 -388 -113 0
320 532 407 0
300 -594 16 0
270 386 95 0
-281 359 -367 0
579 -378 332 0
392 547 -475 0
-86 -359 411 0
-133 -297 -362 0
-79 -322 -161 0
-324 486 -166 0
169 325 -39 0
12 19 585 0
147 175 -335 0
-61 -283 487 0
388 -524 568 0
15 -361 -137 0
-462 328 -359 0
-597 107 -328 0
-221 76 -212 0
430 -557 -576 0
-214 -172 353 0
329 481 474 0
-378 -484 -437 0
-278 -160 184 0
-373 -394 -427 0
-514 -125 463 0
-426 547 238 0
355 -582 -324 0
471 193 -489 0
393 -422 459 0
251 23 -145 0
393 -95 435 0
-272 -91 7 0
-398 101 503 0
-374 5 182 0
241 -440 536 0
317 -522 -272 0
-572 438 -374 0
-323 -400 -392 0
522 34 -509 0
-120 468 -190 0
150 385 222 0
265 460 -407 0
158 559 22 0
-503 -596 478 0
447 384 -458 0
-154 -497 269 0
248 173 32 0
440 325 -276 0
256 -132 41 0
-130 -562 282 0
199 -425 -78 0
99 432 -389 0
-469 -490 538 0
557 502 403 0
-314 -33 288 0
124 326 445 0
253 -165 -551 0
41 76 -342 0
-559 -403 435 0
-430 497 -302 0
360 -403 -476 0
-261 -281 -333 0
148 -542 -385 0
442 468 -546 0
-197 414 501 0
-90 -35 127 0
386 410 -160 0
274 -440 -318 0
407 -78 466 0
424 -522 -382 0
-343 200 559 0
-311 -114 -426 0
378 48 304 0
526 -357 -349 0
512 118 -329 0
79 -184 -80 0
270 16 575 0
551 -80 306 0
443 -329 295 0
419 -12 377 0
178 353 541 0
-242 438 1 0
4 474 524 0
-332 455 -292 0
190 187 255 0
593 -528 324 0
-563 -514 497 0
391 221 108 0
-68 -308 299 0
-540 215 -239 0
-140 373 313 0
-314 -289 -171 0
-266 138 62 0
-159 -554 278 0
-280 473 247 0
445 70 380 0
1 380 264 0
-317 395 -362 0
434 -261 108 0
375 33 -275 0
70 -107 375 0
9 -159 -359 0
-184 -513 -198 0
458 -37 -485 0
-383 -33 39 0
-306 -141 -367 0
-224 -471 -360 0
-594 -221 344 0
-26 72 -538 0
302 -428 201 0
-67 -89 -419 0
289 -248 335 0
-84 -496 -307 0
-96 242 86 0
371 -373 -459 0
42 590 463 0
167 -280 233 0
-502 273 313 0
287 247 -131 0
116 -463 112 0
503 -487 -396 0
-38 56 -209 0
-454 296 25 0
560 294 496 0
-449 219 80 0
150 20 -526 0
35 133 379 0
234 -320 436 0
-432 247 444 0
-194 118 -458 0
-435 -169 -550 0
-497 -82 262 0
-296 -575 -576 0
-4 531 -146 0
209 -170 537 0
-74 226 -187 0
566 321 307 0
243 42 -108 0
574 -22 591 0
-538 -108 -274 0
592 -44 41 0
214 -488 -514 0
-489 -588 -60 0
-542 -374 364 0
397 516 -12 0
212 562 -505 0
461 -577 381 0
-456 -125 -488 0
-271 27 294 0
120 -208 -276 0
-335 -43 -151 0
-360 282 -508 0
-351 -435 42 0
-383 581 371 0
-512 -393 284 0
595 325 -89 0
-457 -114 -37 0
101 543 -385 0
144 66 421 0
153 -435 -568 0
-515 556 21 0
67 82 -147 0
-312 -145 -484 0
153 63 587 0
-408 457 -61 0
300 -43 -17 0
66 339 461 0
-145 20 -157 0
-376 -472 -582 0
-9 -209 45 0
-565 69 -530 0
-340 426 -289 0
2 -11 484 0
-236 -560 196 0
94 -247 577 0
-522 -290 -359 0
11 299 -535 0
173 345 49 0
542 177 85 0
280 315 -467 0
15 -350 -78 0
-352 -583 534 0
473 -419 -464 0
-287 401 -561 0
244 543 207 0
-421 75 349 0
395 368 -586 0
-206 20 -541 0
-236 -463 -270 0
-222 267 -139 0
88 -534 171 0
-380 78 -120 0
100 34 535 0
359 424 66 0
-581 478 -453 0
347 547 -562 0
-276 150 559 0
-247 161 469 0
416 -423 -472 0
279 -138 512 0
411 -53 510 0
362 -540 -514 0
-595 340 243 0
324 -251 3 0
-359 493 386 0
348 -284 -450 0
62 315 216 0
-366 434 252 0
-106 -564 200 0
239 226 503 0
452 -205 -568 0
251 -275 311 0
101 -353 501 0
293 -355 561 0
-463 403 -110 0
521 5 -543 0
418 -208 188 0
-289 170 -359 0
-271 24 127 0
-232 -151 223 0
-205 -455 -95 0
125 50 427 0
-216 443 -465 0
-223 -430 -307 0
524 417 -551 0
-519 318 -340 0
513 -434 295 0
-102 -34 -51 0
505 -81 -415 0
-529 -240 452 0
72 367 -27 0
144 247 -366 0
480 109 -482 0
21 -252 -249 0
300 264 -349 0
196 425 -394 0
349 337 -555 0
7 -492 -244 0
148 79 492 0
-341 -390 -198 0
-420 279 506 0
-361 156 407 0
248 339 335 0
21 427 -554 0
105 51 129 0
-346 452 -289 0
113 507 168 0
107 122 -565 0
397 346 -277 0
212 214 319 0
-134 -332 493 0
-497 -234 -594 0
260 -513 -139 0
-94 -457 211 0
383 25 -564 0
554 38 482 0
-98 -371 -580 0
342 -35 577 0
127 423 381 0
-454 562 -186 0
199 472 523 0
591 295 108 0
-179 375 -316 0
-246 464 160 0
486 -331 233 0
302 -552 356 0
566 145 505 0
-595 -372 591 0
404 -73 517 0
246 -369 -279 0
-16 468 265 0
431 65 -544 0
-353 -282 -463 0
452 471 -203 0
201 233 -29 0
-30 -416 259 0
87 264 -9 0
73 -283 21 0
19 5 -469 0
222 147 -253 0
404 -2 125 0
-67 -558 347 0
330 -131 269 0
559 221 -422 0
-581 -458 -206 0
93 81 -266 0
-445 207 155 0
-422 -138 -586 0
279 105 -225 0
-255 353 429 0
-590 533 -525 0
-162 -344 -103 0
506 3 -531 0
-412 202 -340 0
159 -359 -421 0
337 -428 140 0
116 40 158 0
490 -114 385 0
-26 -51 -189 0
-425 -525 -223 0
100 325 -113 0
-275 187 305 0
503 -108 -73 0
30 129 -122 0
-98 -288 -151 0
56 -89 86 0
532 -41 -584 0
-48 579 16 0
-324 159 -340 0
365 65 -341 0
198 -341 80 0
553 -75 437 0
-331 318 218 0
350 -360 285 0
534 570 -26 0
-83 -146 519 0
557 -334 542 0
-21 -127 520 0
452 -408 344 0
180 52 354 0
-205 553 508 0
-126 -96 -522 0
477 105 20 0
-243 388 160 0
-499 423 -340 0
-515 492 -57 0
271 -98 187 0
-549 468 15 0
79 -588 462 0
85 -141 543 0
-249 -221 -4 0
-206 -509 114 0
68 515 -139 0
-271 360 72 0
488 350 -316 0
97 298 -447 0
554 -254 272 0
345 358 -390 0
-267 -55 -440 0
227 -156 121 0
-362 -138 -155 0
-332 -400 520 0
-527 498 317 0
-466 455 379 0
465 -238 35 0
-392 -334 437 0
274 68 71 0
83 557 359 0
354 -337 -179 0
-126 -352 -6 0
-462 490 183 0
-536 488 338 0
-59 61 252 0
9 -194 -526 0
42 -365 102 0
252 381 160 0
600 -213 498 0
588 258 241 0
-462 -267 18 0
574 -261 54 0
-65 -130 17 0
-558 -92 492 0
363 -223 -267 0
-143 -49 -518 0
432 -588 -105 0
-254 154 350 0
-165 295 28 0
508 91 110 0
294 -407 -493 0
359 -17 -168 0
411 356 -382 0
-20 14 -388 0
328 -543 -376 0
330 -500 -287 0
-247 -71 84 0
540 396 -143 0
-267 -513 161 0
-257 -301 -83 0
-599 242 -330 0
-121 -495 -147 0
-480 -459 -208 0
-372 195 523 0
421 58 -517 0
303 563 -317 0
426 128 -311 0
-352 353 32 0
554 3 380 0
422 -301 91 0
-378 233 37 0
-394 -87 363 0
268 -382 285 0
-116 -312 31 0
484 -284 -266 0
253 -587 320 0
-293 -285 567 0
-266 -280 -377 0
277 520 -98 0
376 590 -365 0
120 -216 -159 0
-104 167 -232 0
112 -277 -443 0
583 449 -63 0
306 49 271 0
-485 -70 599 0
198 6 535 0
468 499 557 0
303 -343 443 0
62 579 -114 0
597 457 462 0
-385 -42 -196 0
477 129 502 0
-131 -67 325 0
-459 364 -74 0
-323 -34 151 0
-9 -475 471 0
394 336 -514 0
-291 -105 113 0
392 -598 120 0
471 530 -59 0
-245 -524 551 0
141 155 -349 0
-227 142 -113 0
391 -562 -506 0
-510 381 -131 0
531 315 535 0
109 -530 491 0
-56 455 -117 0
589 -557 -148 0
358 191 -445 0
110 216 -131 0
-306 -411 70 0
137 -397 464 0
437 524 505 0
268 -214 430 0
471 -206 -418 0
-455 -29 36 0
70 335 -219 0
61 -280 511 0
-200 589 -115 0
96 126 -107 0
-323 -570 144 0
-476 -329 -579 0
569 -425 346 0
-195 -235 584 0
133 -110 30 0
-522 429 -59 0
572 553 459 0
164 -100 -364 0
530 -156 198 0
-479 -466 -31 0
176 -217 161 0
-333 -293 -311 0
7 -402 -461 0
77 -305 588 0
-83 82 380 0
-589 -87 240 0
-207 497 64 0
-271 -459 205 0
-9 551 -170 0
254 -582 -312 0
455 520 196 0
482 128 -294 0
237 456 -280 0
-13 -6 185 0
35 42 443 0
462 -5 228 0
-150 -265 -87 0
265 17 289 0
271 -47 310 0
-35 -428 -550 0
-295 -182 352 0
-441 461 -162 0
33 27 442 0
-291 217 -367 0
-574 42 541 0
45 81 554 0
-23 198 -15 0
-263 42 546 0
-494 -240 156 0
462 -569 588 0
-68 -559 -533 0
241 205 -97 0
140 -449 134 0
416 -108 561 0
-450 -508 118 0
388 -404 -349 0
303 249 125 0
-429 -207 -151 0
-65 -364 462 0
237 -242 99 0
514 343 -288 0
-293 -37 583 0
-379 272 -521 0
291 -285 -257 0
514 38 -7 0
42 574 -429 0
45 432 185 0
-472 -177 -159 0
520 -473 483 0
-502 -449 -365 0
523 355 -49 0
-230 120 274 0
90 -274 -501 0
382 -445 -356 0
471 -455 -21 0
-222 -228 -71 0
128 467 -391 0
-151 416 -443 0
-551 210 391 0
-493 -40 -176 0
-285 -230 473 0
537 -145 -132 0
222 67 466 0
-23 -391 291 0
396 310 -524 0
283 132 231 0
-44 587 -52 0
458 -567 312 0
565 -61 -312 0
-360 -598 -171 0
132 -441 -252 0
-524 173 194 0
515 577 406 0
-88 -226 105 0
155 429 158 0
390 -111 -384 0
-251 -174 -70 0
-502 -562 320 0
-463 -287 -205 0
21 418 445 0
532 -386 365 0
339 218 -495 0
405 422 292 0
267 533 -509 0
-67 -69 164 0
221 -84 -297 0
411 -224 -123 0
495 247 282 0
-542 -3 229 0
-446 -171 118 0
492 223 54 0
-343 -290 128 0
358 129 -473 0
210 138 364 0
434 226 535 0
-224 -51 587 0
62 -563 -270 0
-596 -582 148 0
27 452 347 0
-434 40 287 0
-26 -524 -133 0
456 -500 -194 0
549 -406 498 0
-22 562 508 0
-215 -371 -24 0
-163 -497 -493 0
-255 579 -449 0
-382 -376 484 0
102 -238 301 0
-556 -459 467 0
404 155 569 0
223 255 285 0
-387 -443 -364 0
-41 -20 302 0
537 -534 -407 0
25 -306 280 0
302 -193 309 0
365 132 487 0
-471 -324 -453 0
-417 -173 -515 0
-557 516 413 0
-202 153 -434 0
348 -203 -574 0
108 -365 557 0
3 53 591 0
371 -165 194 0
303 -503 152 0
334 429 362 0
376 358 254 0
-43 -551 -532 0
5 225 -46 0
-580 -545 -536 0
-52 -78 583 0
-299 -495 41 0
167 -215 222 0
-309 -589 -389 0
-7 343 -290 0
-433 -473 -406 0
-112 314 -306 0
-311 572 -388 0
-408 313 -464 0
-385 -37 393 0
301 542 78 0
-42 -156 -197 0
-289 -94 597 0
185 137 174 0
-393 -53 -350 0
-433 420 -517 0
-591 -84 575 0
568 -292 -48 0
499 -210 -451 0
361 480 570 0
161 357 410 0
-4 427 -227 0
335 446 -155 0
-83 -226 -419 0
-156 202 503 0
-417 -92 -533 0
62 -52 64 0
-280 -292 -557 0
-332 -92 300 0
-362 -131 191 0
-464 561 -504 0
118 -44 -282 0
124 400 -246 0
216 -370 406 0
522 160 -131 0
-211 73 436 0
226 395 128 0
554 451 -44 0
-402 -8 -271 0
292 -133 448 0
359 -158 -41 0
-254 -47 -243 0
-591 166 44 0
-134 -148 583 0
-436 -576 274 0
-592 13 272 0
499 -399 -290 0
520 85 367 0
-80 454 358 0
33 -154 241 0
-561 70 -338 0
-314 436 379 0
-211 388 -408 0
-25 -201 -599 0
-251 -177 -268 0
-55 -541 389 0
513 -234 -563 0
231 -296 402 0
540 345 182 0
471 -189 492 0
257 212 -311 0
-357 -158 -265 0
-314 288 423 0
-105 -95 282 0
498 45 66 0
-91 -138 305 0
298 -206 -310 0
496 -575 -90 0
552 413 139 0
-174 -153 -213 0
-389 -386 54 0
-167 526 -276 0
-433 37 472 0
321 -223 -116 0
-281 -390 27 0
110 259 -458 0
-417 162 219 0
-12 219 -395 0
398 -45 -108 0
-39 568 539 0
481 -104 182 0
-572 167 -91 0
-80 -53 -367 0
-444 189 -249 0
-395 -375 -361 0
-543 290 361 0
-230 -122 422 0
509 -75 -546 0
231 197 -492 0
-600 -181 -53 0
439 -569 -2 0
-487 -455 -84 0
-547 464 -41 0
-310 -550 120 0
160 -32 512 0
204 571 -564 0
-347 -306 89 0
-534 67 200 0
205 450 165 0
335 575 585 0
123 -131 -459 0
399 502 302 0
215 -344 412 0
192 147 449 0
95 -495 -242 0
446 -403 554 0
441 -533 222 0
-453 306 49 0
48 165 -131 0
-347 -147 262 0
88 197 518 0
284 338 -341 0
-227 -415 578 0
91 304 -472 0
-539 -404 -171 0
173 -125 -418 0
-161 119 451 0
490 -123 -188 0
-11 10 -344 0
-286 -527 119 0
-341 -178 588 0
-365 -489 484 0
302 -141 -281 0
-441 -281 -212 0
438 -413 525 0
164 -530 -208 0
-311 96 298 0
-313 -543 -70 0
239 513 -221 0
-45 16 535 0
-54 -458 -57 0
382 -349 -139 0
-165 287 381 0
-143 219 520 0
-173 -488 351 0
-120 316 202 0
-498 -566 -43 0
-159 -414 -131 0
32 -488 -273 0
-159 310 32 0
14 408 -217 0
15 127 183 0
-518 -302 195 0
521 -372 -137 0
137 348 -129 0
-65 25 571 0
10 318 247 0
502 182 537 0
453 381 -599 0
361 386 441 0
264 422 -513 0
337 239 2 0
-454 -245 91 0
-354 -398 -554 0
-403 540 109 0
-570 228 370 0
-95 457 -155 0
-580 454 -422 0
-64 -365 -31 0
212 582 216 0
572 301 -571 0
-351 291 -334 0
70 2 -371 0
-360 315 -80 0
295 435 -104 0
-28 -483 382 0
133 -358 -150 0
78 101 88 0
-274 174 -170 0
-189 -454 -266 0
418 -532 466 0
268 593 -61 0
169 168 -131 0
461 41 154 0
-192 -31 -544 0
-417 312 221 0
-281 -108 -468 0
472 225 -561 0
-372 299 120 0
-279 -274 -13 0
-281 -586 412 0
88 334 458 0
-72 11 -309 0
239 387 -105 0
-378 -350 -190 0
428 -578 577 0
295 181 -333 0
-58 45 -167 0
-598 517 -343 0
-460 367 -390 0
-339 -542 190 0
83 13 539 0
-69 -188 -329 0
442 49 158 0
554 39 -344 0
250 -391 588 0
-41 174 -212 0
68 381 -337 0
-413 -130 234 0
-494 324 149 0
75 362 -50 0
-189 312 -430 0
241 -494 557 0
-1 -416 -505 0
381 424 -248 0
-216 -239 478 0
130 540 562 0
111 -515 -465 0
-467 65 -557 0
533 -71 129 0
35 364 73 0
468 -184 521 0
472 147 485 0
550 -436 68 0
386 208 -599 0
-504 -417 507 0
-64 -146 -487 0
292 259 443 0
326 -547 588 0
-162 94 -42 0
50 -79 -430 0
-294 443 339 0
-245 -137 108 0
-298 -373 -436 0
502 306 -267 0
43 412 -489 0
105 449 237 0
113 183 -421 0
-588 245 -438 0
437 517 -28 0
-412 -536 -149 0
280 -299 32 0
-95 347 527 0
-17 -562 596 0
345 196 193 0
-492 -519 577 0
-129 265 344 0
-538 410 124 0
490 420 317 0
-514 -459 -454 0
596 282 -565 0
454 143 229 0
411 -591 -489 0
-348 358 -431 0
454 386 122 0
188 526 551 0
460 162 189 0
-182 -314 557 0
-511 -63 -518 0
596 -465 -139 0
-5 114 178 0
-443 -127 522 0
467 478 281 0
-565 330 -180 0
184 -447 -526 0
226 468 469 0
-184 -482 403 0
179 -293 229 0
436 189 89 0
454 -47 -425 0
285 542 81 0
519 424 -72 0
-361 -511 -303 0
-376 84 -184 0
477 -358 -33 0
372 -37 426 0
502 453 -368 0
76 -162 -441 0
-170 208 -91 0
-574 -441 61 0
576 45 -493 0
371 -88 303 0
-26 209 427 0
-222 567 -401 0
-279 -500 181 0
572 -31 66 0
229 118 -527 0
-536 -345 -448 0
-320 223 540 0
356 153 501 0
11 115 -87 0
-182 -506 -521 0
227 -157 -190 0
-288 -436 -119 0
-314 78 546 0
12 -67 373 0
-522 -34 359 0
474 -112 -45 0
352 42 161 0
518 52 239 0
584 461 -210 0
222 -384 -383 0
157 -442 61 0
-118 -134 144 0
-225 -38 -288 0
-279 421 542 0
-575 378 202 0
-310 264 458 0
230 -390 -26 0
403 -444 -47 0
-306 486 397 0
7 122 540 0
442 240 -326 0
476 111 567 0
513 573 -14 0
198 -245 427 0
-161 412 364 0
348 270 -124 0
-160 -243 -598 0